proofs clean-up

inertiarequested to merge
30-html-proofs into develop

Follow-up #30 (closed)

Merge request reports