Re: [PATCH trivial 1/1] logging.html.in: fix number of output formats available