Varanleikidae

I want to make sure I write accurately. I cannot locate a widely recognized taxon named Varanleikidae in major taxonomic databases or literature. Could you confirm whether Varanleikidae is a real, previously described family (and provide a source), or whether it might be a fictional term or a misspelling (for example, of Varanidae or another group)? If you provide a reference or context, I can draft a concise wiki-style article (under 300 words). If you’d prefer, I can also write about a real, related topic such as Varanidae (monitor lizards).