Well,
1.4.5 is already showing up as tagged under
Releases, which is what I now used for a fresh production installation (just to try out the manual way using
composer and
install-jsdeps.sh instead of a
complete package).
Is it safe to assume that this is indeed already the final release
1.4.5, which means there is no need to re-download and upgrade once it has actually been marked as
Release?