Checking Hytale database for "coq99"...