Bit of both :grin:. I saw it there as I was wrapping up & elected to leave it. I'm happy to remove it if it's in any way derogatory to the pull.

In fact, I guess it does run afoul of a couple of principles (least change, topical branches, &c.). I'm going to remove it.