Yep I agree. 
If a PR also exists in elm/core (and I assume/hope that will always be the case) it may also make sense to reference the PR as well so that there’s a direct breadcrumb from there.
But I suppose we’re down to minutiae that can be documented and iterated on in a project wiki.