Note: I slightly updated the "bot play" page: it referred to "common/botdonotenter", but the proper name of the shader is "common/donotenter": "bot" word is displayed in the (very low quality, maybe for OA should be changed?) editor image, but is not really part of the shader name.