[codex] Make notes category navigation client-side#13

dd3ok wants to merge 1 commit into

maindd3ok/dd3ok.github.io:mainfrom

codex/notes-client-navigationdd3ok/dd3ok.github.io:codex/notes-client-navigationCopy head branch name to clipboard