This message was deleted.

Not as of right now, but we're planning some improvements to the GitHub stack comment in general!

Does that mean something like this would be included in those improvements? Or that this would be unnecessary given those improvements? I agree with @Gary Chen on this point 🙂