Checking Hytale database for "coqMC"...