I just stumbled upon the fact that I can not just use variables like
$ScriptUrl, $PageUrl or $DefaultGroup in files that were included using
file: - e.g.
$PageFooterFmt = 'file:local/PageFooterFmt.html';
It looks like they are not even set as PHP variables. Is there a
function to replace them in the included files?
Balu