#45 Correction of GitHub issue key semantics. The real issue key is the number, not the displaying token with leading #