Thanks for those hints; I was not on 3.100.
For some reason, the upgrade did not work using Chrome (which is my default browser) even after a couple of attempts but worked using Microsoft Edge.