[Zope] Deleting/renaming standard_html_header/footer

[Jim Cain]

It would be really convenient if these ended in _html so I could teach my
editor to use HTML syntax highlighting, shortcuts etc. on these documents.
Any way to rename them other than editing the source code?

Cheers,
Jim


    ____________       Jim Cain, System Administrator     ___
   /  ________  \         http://jec.mgmt-inc.com        /  /
  /  / ______ \  \   _________   _______   _________  __/  /__
 /  / /  __  \ \  \ /  _   _  \ /  ___  \ /  _   _  \/_   ___/
/  / /  /_/  / /  //  //  //  //  /__/  //  //  //  / /  /___
\  \ \___,_  \/  //__//__//__/ \____   //__//__//__/  \_____/, inc.
 \  \______\____/             _____/  /
  \_______/                   \______/  http://www.mgmt-inc.com