Migrate docs to new framework

[davestewart]

Background

The docs are currently written in Pug and built as HTML:

• Source
• Published

There are various issues:

• editing the docs is hard
• publishing new docs is currently concatenating spaces between tags

I've got the build working, done some initial cleanup (links, ads, sponsorship links, version, install page) which will do, but it would be nice (though not a necessity) to migrate to a modern markdown-driven docs framework.

Proposal

Convert source files:

• [x] assess feasibility
• [x] convert docs (script / package)
• [x] check / fix examples

Theme:

• [x] combination of VitePress + Spectre
• [x] copy images
• [x] review styling anomalies
• [x] fix styling anomalies
• [ ] check and fix theme incompatibilities (see #4)

Build:

• [x] choose framework
• [x] rebuild docs + examples
• [x] publish on Netlify / vercel / github pages
• [x] implement search (Agolia, or such like)

[davestewart]

Making good progress on converting the docs from HTML to Markdown, using some custom scripts and packages:

[davestewart]

Things are going well with VitePress! Didn't expect to have 90% of it done already.

[davestewart]

OK; see docs repo here:

• http://localhost:5173/docs/components/badges.html

[davestewart]

New docs are live