+1

BTW, not directly related to the issue at hand, but # is a really bad choice for the issue markup

because messages with lines that start with # cannot be edited by the standard git tools that

remove such lines.