OK, I removed it, and updated the other files + docs to reflect that.