@dmitchell this code is going to be removed from our codebase in the near future, and I"m inclined to not worry much about it.