@aibd thanks for confirming that you can reproduce yourself.
Report an issue or a report in Feedback for v3.1.4 are options.
I actually went straight to the Github repo to look to create an issue, but the issue tab isn’t available. I now see it’s because it’s actually hosted on GitLab (guessing the Github repo is just a mirror?) - thanks for the pointer. I’ll proceed to do the regular install as you suggest.
@vilibald thank you for filing the issue on GitLab.
Should I mark one of these replies as a solution, or close this post?