* Peter Schober <peter.schober at univie.ac.at> [2021-08-30 17:53]: > Other than that I provide somewhat opinionated, unofficial 3rd-party > setup documentation[1] for the IDP that's still using Tomcat 10. Sorry, that should have been "Tomcat 9". -peter