@joshwoodward supported your position, so I'm merging this PR as is.