SE-0473 has been accepted. Thanks, everyone, for reading and participating in this review.
John McCall Review Manager