@liaizon they way to do this is the same way it got removed: whoever cares about it needs to file an issue, make their case in the issue (it does not have to be elaborate) and we see what comments they get. If there are no objections, and it is a small change (which it would be) it gets done. If there are objections, we need to resolve those eg by discussion in the regularly scheduled meeting. That’s what the TF is for.