Delete the known-problems page #22
Description
The known-problems page is a nuisance for maintenance of the project. Each of the "known problems" should be entered into the issues pages at github and then the "known-problems" page should be deleted.
{{ message }}