I’ve moved to serial console because drawterm which is the Remote Desktop thingie for plan9 disconnected overnight. The machine lacks any graphic display and has only serial. I totally plan on waiting on the full synchronization.