>>>>> "Simon" == Simon Marchi <simark@simark.ca> writes: Simon> It's probably a matter of taste, but I would use the same format as the message Simon> shown when there are options available: no parenthesis and an empty line before. Sounds fine to me. I'm going to check it in with this change. Tom