#36#42 have brought up the documentation for this repo, which is awesome.
We still have something that needs to do to improve its usability:
hide the solutions by default
category-based and/or difficulty-based filters to better organize the documentation. This requires our problems indices shown on a new page, instead of on the sidebar. Hence a new democard theme is required here. (mid/long-term)