I want to put a <div> element somewhere in the page output. First I tried $PageStartFmt but it is deprecated (a short comment in pmwiki.php would be usefull). I found $PageTextStartFmt but it seems not elegant to overwrite it. How I can do it? Sebastian