Change format of issue numbers listed in HISTORY.md