Spoke too early: today, for some reason, this bug returned. Perhaps because I plugged in a mouse, or the ethernet expansion card.
Spoke too early: today, for some reason, this bug returned. Perhaps because I plugged in a mouse, or the ethernet expansion card.