I now realize I should have copied the text into the comment in the first place.