mkopts: use a different extension for generated HTML
opts: template for all the generated options pages