Update to Markdown 3, use expltools prefix, use small Docker image in CI#3

Merged

Witiko merged 3 commits intomainfrom

Jul 21, 2024

Commits on Jul 4, 2024

Update to Markdown 3, use expltools prefix, use small Docker image in CI
Witiko
committed

Commits on Jul 9, 2024

Complete markdown's dependencies
Witiko
committed

Commits on Jul 21, 2024

Remove hard dependencies of markdown
Witiko
committed