Oops. Closed.

This pull request was opened by mistake, but it will regardless claim its own small obscure corner in the record of human history.