Small change to this to differentiate it from the official mikidown
(since this is a personal variant) so maintaining the original can
be done without constantly swapping config files.