Note regarding 4.5.4: An issue was found late in the release process of 4.5.4, after one of the affected trees was mistakenly tagged with a wrong signed git tag. We therefore decided to skip version 4.5.4 and bump up the version number to 4.5.5.