Brief summary of issue / Description of requested feature:

If a build is tagged as Mudlet-version, that means it's a release build. CI should not build this unless the build prefix has been cleared (set to "").

Steps to reproduce the issue / Reasons for adding feature:

Not to repeat 4.5.1-de.