Hotfix_TopFrameHttps is a quick hotfix-style patch to the ZMI (Zope Management Interface). It reminds users that they should be doing site management over https insted of sending management passwords unencrypted. It also serves as an example of how to use Hotfixes to modify zope's behavior. Hotfixes make better patches than source patches, as reverting to the old behavior is as easy as removing the HF and restarting Zope.