Plus signs are apparently not supported on github, and replaced by a dot.
...and delete if after packaging is done.