Whoops, actually I didn't even mean to push that commit. I wrote it because of the previous discussion, but then it turned out the parameter was already supposed to have been removed in the previous release.

So should it be removed or deprecated?