This menu can be generated automatically via obmenugen -s.