3-manifold census data

https://regina-normal.github.io/data.html#census

Benjamin A. Burton. The next 350 million knots.
https://regina-normal.github.io/data.html#knots

Paul Leopardi. Boolean Cayley graphs.

Discussion at:
https://groups.google.com/d/topic/sage-devel/lyEz9kSYjVw/discussion

If not, remove https://github.com/MathHubInfo/Documentation/wiki/lmh-dirconf

Benjamin Hutz. Database of dynamical systems
https://mathstat.slu.edu/~hutzba/search.php

• Rename MathHubInfo repositories where necessary (mdh_ repositories, downgrade Frontend, ...)
• Update the MathHubInfo site (including URL structure and a new landing site)
• Start a MathHubInfo Twitter account? (Discuss!)
• Refresh colour schemes
• Separate this issue into separate ones as tasks become clear

• build system (once that is ready)
• configuration (the old documentation is removed)
• replace all */mh/* URLs (they are different now)
• there must be more

This is a top level issue combining all the TODOs. @kohlhase

Critical (should be completed as soon as possible, such as beginning of September)

• Consolidate all TODOs (meta and technical).
• Write data.mathhub.info documentation (copy from report, consolidate internal documentation, add anything missing).
• Copy content from math data workshop to more permanent homes (including TODOs)
• Consolidate codecs

Important

• Issue: Refactor and rebrand MathHub
• Dataset submission

Don't forget

• Separate out potential bachelor projects (possibly via an issue tracker label?)

It would be nice to have a page with links to other catalogues
or lists of mathematical databases or datasets.

For now should they live in the "Miscellaneous" section of
the "Math Databases" wiki page:

• https://github.com/MathHubInfo/Documentation/wiki/Math-Databases

Some examples:

• Alex Konovalov maintains a list of mathematical databases
  on the wiki of his "gnu" (Group NUmber) project
  https://github.com/alex-konovalov/gnu/wiki/Mathematical-databases