[Bug]: documentation for options is broken

[anpin]

Current Behavior

Expected Behavior

options are shown

Steps To Reproduce

https://jupyenv.io/documentation/options/

OS

irrelevant

Version

master

Additional Context

lib.mdDoc was removed in #563

Relevant log output

Uncaught TypeError: Cannot read properties of undefined (reading 'style')
    at options.js:151:51
    at NodeList.forEach (<anonymous>)
    at initializePage (options.js:149:6)
    at options/:711:5

[anpin]

seems like options.py is no longer working

Tagging @garbas and @djacu since they are the only authors

[anpin]

I found that nest_options_in_dom function is producing empty DOM. However both nix build .\#lib.x86_64-linux.options.optionsJSON and html = md.render(commonmark) in above options.py seems to yield the same format as before.