I submitted it to gerrit by email, apparently that doesn't cause any email to get sent to this list, so doing that manually then. Yes, the "fix" is silly. Patches welcome. --tml