(And then I promptly forgot to mark this as withdrawn, and while scrolling down the page just now, I jump-scared myself into thinking that someone had put in revisions that we'd missed)