[hilbert42]

Yeah, another damn typo I've missed, it's embarrassing. I understand the correct phrase.

Last week, I wrote 'we all cropped it' instead of 'we all copped it' which makes no sense—yet I reread that text three times, twice before posting and once thereafter and yet I still missed it.

I wish HN would allow typographical corrections past the usual edit deadline. Bad typos distract so they reduce the impact of what one is trying to say.

Thanks for pointing it out.