Should we leave it in, but commented out (so people know it's an option), or remove it altogether?