Index
Renaming pigeonholes
You can change the caption of any pigeonhole by right clicking on it and selecting Rename / Highlight
You can also rename pigeonholes from the editor.
