[Ignore. Made a joke and then decided it wasn't funny.]