This is a header menu item record and is used to distinguish the prefixes from other menu items.
Related Topics
Parent topic: Condiments
Scripting on this page enhances content navigation, but does not change the content in any way.