Minor, seemingly harmless tweaks to misc.tmpl
Whenever the DIV tag structure of page.tmpl has been changed, the DIV
tag structure of misc.tmpl must also change to reflect this, or else
any page which uses misc.tmpl will not look right. My intent is to
make ease parallel maintenance of these two files by eliminating
trivial/accidental difference between the two, so that duplicated
regions can be more readily identified (perhaps even mechanically).
(cherry-picked from commit
075980f94996e8f67d9632ae95b8bf41fdf09afa, but
without the changes to comments in page.tmpl)