Refactor ideas

[stefnotch]

• use my upcoming math editor
• replace vis.js with something that's better maintained and doesn't have as many bonus peer dependencies (and thus works with pnpm)
  • https://github.com/jacomyal/sigma.js
  • https://github.com/dash14/v-network-graph
  • https://github.com/antvis/g6
  • https://github.com/cytoscape/cytoscape.js
  • https://github.com/anvaka/VivaGraphJS
• use pnpm once Node.js makes using it more automatic
• use Vitepress or some other framework which gives us
  • pages
  • a search bar vuejs/vitepress#2110
  • an easy way to navigate