johncarlosbaez, 25 days ago @internic @ppscrv - it's painful to type.
@internic @ppscrv - it's painful to type.