Closes and deletes PRs during merges, and links between comments and PRs...

....

Closes #11