Refinement of killswitch (all ocher files in .ocher/)