help: use HTML as the default help format on Windows