K 10
svn:author
V 6
dteske
K 8
svn:date
V 27
2013-06-20T05:40:11.786134Z
K 7
svn:log
V 140
Add debugging (for a case that shouldn't arise, but makes it more obvious
if a menu addition is made in one plce but forgotten in another).

END