void save() { Options.setMarkdownExtensions(extensions.get()); }
void load() { extensions.set(Options.getMarkdownExtensions()); }