This is what pull requests used to look like.

(The last sentence is particularly remarkable!)

@dan
That looks more like a ticket than a PR. Or did you just omit the diff?