Hi! Is there any public documentation on the server that hosts manpages.debian.org?
What can a DD do to help when it seems that the pages haven't updated for a couple of months? I found some bug reports from 2021 (that are still open) but I can't find any docs on what exactly the manpages.debian.oeg backend is. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986030 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994761
