Just for the record and completeness, I followed these two articles:
Updating from STABLE to SNAPSHOT:
Working around a stuck milestone:
More to follow…