Things to explain probably include
- what this repo / website is about
- relation to MaRDI, OSCAR, and, in the future, other systems we list here
- a note that this is work in progress and that suggestions and contributions are in principle welcome (and how/where)
- the website should have a link back to this repository
Things to explain probably include