On 2017-01-18 18:23, Michael Stapelberg wrote: > https://manpages.debian.org has been modernized! Congrats and thanks! I like it!