if it becomes clear that notch is not working on the game any more and isn't likely to for the foreseeable future will resolve to "other".