developer-manual: Recommend the dok-tidy target when building docs for the webserver