let linkname = linkname_of_sectionname sectionname in
let last_modified = printable_date last_modified in
[ "url", Template.VarString url;
let linkname = linkname_of_sectionname sectionname in
let last_modified = printable_date last_modified in
[ "url", Template.VarString url;