+// TODO replace this with template that can be assigned
+// UPDATE: displayHtmlHeader() no longer sends anything
+// directly to the browser itself and instead
+// displays all output through the template file
+// "protocol_header" as well as calls to the
+// template's header() method, so perhaps the
+// above TODO is alleviated?? (however, I don't fully
+// understand the problem behind the TODO comment myself (Paul))