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.