Stop replicating PR titles in the stack description

[Edward Z. Yang]

GitHub has changed their rendering to display the entire PR name when a PR shows up in a bullet list, as so:

So we should stop tacking on the title now