2020-11-07 UTC
# 
nightpool[m] rhiaro: changes LGTM! I'm ambivalent on linking to the resolution in the namespace itself vs trusting Github's record of PRs or the git commit message to contain it, since parties interested in the procedures followed to produce the document will find the commit + PR anyway, but I'm not against including it