Looking at it more closely, it looks like this wouldn't just be changing one proc, but a couple of pages within general-comments. I'm going to proceed unless I hear any protest.. All of this is optional, of course. Otherwise, I would TIP the changes. As I understand it, changes that are optional like this do not require a TIP...
