Why not make a release, 3.5.14, in early January, after the move to
Git and the rename thing is completed??
Even if it cures only a small bunch of bugs, it will be good, in many respects.