The 5.1 branch is end of official maintenance, not sure if it makes sense to add more to it, unless people want to have gentoo build for it, but so far was not required explicitely on mailing lists.
Then if the version is required in the file name, and we have to add/remove/rename files with each release, then better have 5.4.0 for master branch, rather than 9999.