I just realized the Git repository has the tag r0.4.1 wrongly pointing at the r0.5 tag. I will remove from the repository this tag and create a new one v0.4.1 in the right place (also, in the future, tags will be named with prefix v).