Sync, using Github GUI

msquared test is still around, somewhere…?