Remove doc/ entries that have been moved to Handbook
doc/
entries should be moved to the Handbook.
See MR kirsch-handbook!11 (merged), which adds the documentation.
Edited by Roman Meier
doc/
entries should be moved to the Handbook.
See MR kirsch-handbook!11 (merged), which adds the documentation.