In 2010 a very ugly script was written that converts man(7) pages to HTML with a keyword index (including command line options) but then it was forgotten for years. It's now used to create the version of the xz man page on this website. There likely are saner methods to do a comparable thing but the ugly script is here for those who are curious. A tiny fix was made in 2023 but otherwise it hasn't been modified since 2010 so, for example, some comments might be slighty out of date.