Tools Menu
The Tools menu contains some built-in utility commands and a facility to call external user-defined commands. The externally defined user commands feature of this menu should be used with care. If you experience any unexpected results or have suggested improvements, please contact me.