Change structure of the known-problems-appendix
Merge in structural changes of the known-problems-appendix