@whitequark @danluu boring is probably the wrong word yeah, given that so many don't even attempt it in the first place.