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