menu entry without colon


This document was generated on a sunny day using texi2any.