On Tue, Feb 23, 2021, at 06:13, Carsten Bormann wrote: > Beautiful! Yes, thanks Robert. I already prefer that page, but improvements are most welcome. > If we find a way to shorten the “doc/html” part of the URI some more, > this would not hurt. That is what bothers you? For me it is the string "datatracker".