With wokeness dead, let's go back to calling it NIPS.