It seems operation fox keyboard has not worked. Time to start a fund to buy a replacement magic keyboard. Sigh.