I noticed in several orgs that "Superseded by" comments are being propagated to already closed PRs: https://github.com/http4s/http4s-grpc/pull/213 https://github.com/typelevel/vault/pull/632 Haven't seen this before, can this be a regression or something?