The nicely formatted description of the PR should actually go here as a doc comment.