Pretty much completely rewritten theme with custom HTML translator and a
few parts of the old theme extracted to their own extensions.
Banner images thought not to be that huge after all, and not worth the
hassle of them living in a different repository.
co-authored with @stefanorigano
Raw API documentation is not sufficient for people to learn the working
principles of the API, especially when they already know the old one. And some
things have changed since the opendays so the presentations don't reflect the
current state of affairs.
Closes#3483