Ok, so it seems I’ve got a problem with the USB port, not recognizing the pen has been inserted in: the SD card works fine, and they’re mounted at the same location. #plan9 #9front