Pepperminty-Wiki/Lobby

XML dump → markdown - I've blogged about how I did it if you're interested

Also, is there a way to remove the comments box

The recommended way of doing that at the moment is to build a copy of Pepperminty Wiki without the feature-comments module
(doing so from the latest master will still include absolute redirect support)
I can certainly add a setting to toggle the comments on and off though.

Sort of a random question... How difficult would it be to add something like vim.js to Pepperminty Wiki as a page editor?

Very interesting question. I've been thinking about a page editor improvement for a while now actually
Do you mean this? It seems pretty blurry to me for some reason, but it looks otherwise ok.
Adding a custom page editor requires a few considerations:

• So long as the final page content that is to be saved is in the relevant <textarea> when you hit the save button, it shouldn't matter what editor you use
• Depending on the page editor you use, you'll need to inject some CSS (probably with page_renderer::add_header_html($html)) to hide said <textarea />
• The feature should be in a new module with a descriptive name.
• It's preferred to include any required resources at build time, as currently Pepperminty Wiki doesn't require an internet connection to setup. This is handled by the extra data system. When writing a new module, you can define 1 or more files to download or copy to include in the final output build. This is done by zipping up the files at build time, and appending it after a __halt_compiler() call - which is then later unzipped at runtime. The limitation here is that it doesn't handle large numbers of files very well, so vim.js would have to be a single file that can be downloaded from somewhere.
• Specifying the exact commit when downloading is also preferred, as it can avoid breakage when dependencies update
• If this is to be added to Pepperminty Wiki properly, then a new setting (disabled by default) should be added for the functionality