Replying to: maxbob@det.social det.social

@maxbob FWIW, the recent (sometime in the last 5 years?) mobile port is pretty good

Ross Karchner @rossk
\