I am finding this development supremely funny because when I first tried gerrit in like, 2010, I found the Change-ID trailer distasteful, and sorta bounced off of gerrit in part because of it. so all these years later, it maybe going away is just a very funny blast from the past.