Looks like I edited the wrong version level in my final change for
yesterday's update. Think I need to edit VERSION again, push to
release/unstable, create a merge request to merge into master and then a new
pipeline to rebuild the web site. Everyone OK with that?