change links to .gmi files to .html when exporting to HTML. This is fine for my use-case at the moment, but in the future an additional check must be made: only relative links and absolute URL to *.omarpolo.com must be hijacked.