Fix #10: Add links to user manual and design doc

Add links to the HTML versions of the user manual and the design doc.

Merge request reports

Loading