You had made this change a while back and it was very helpful. It was of course lost in the upgrade, but it appeared to be a minor change that you did not need Jerry for and should not interfere in anything he is doing. It has been many weeks without this now.
Please consider it and give us back those handy little options. If anything they should improve board performance a small bit.