Fixes #5228: Add a link to Redmine in the README