vanyi.org migration finished

There was some delay, but vanyi.org is now migrated. I can get some sleep finally… ZZzzz…