We already had a bug report and patch for the # symbol issue, if I recall correctly: https://bugzilla.gnome.org/show_bug.cgi?id=611996
It was fixed in 0.13.4.