Sounds good! Migration probably won't happen today, but maybe tomorrow or the day after if we get lucky. Unfortunately, I ran into a problem while trying to set up Mbin due to one of the mbin/kbin dependencies suddenly disappearing out of the blue (see here).