@scooke No wall head-banking here. I solved the problem. I was just sharing the solution here for others, and suggesting a notification could also help save others from the same issue.
Maybe there's some misunderstanding, but I don't need to move servers — and "easy" is relative, since I have a lot of apps and data moving around the clock, so it's no trivial to migrate without data loss during the migration, and my time is too precious to lose it to migrations that I don't need to, when there's no problem here that would need any migration.
