haavee's changes/remarks

Some remarks have been placed inline in a highlighted box using the new \haavee{} command.

The text of the deliverable can easily be rid of those by redefining the \haavee{} command to be a no-op, effectively discarding its argument.