`::I know this explained in the body of the article, but perhaps a hatnote ``Mantid`` can be included. I only say this because that is the term that I would originally put in the search box if I were looking for information on Mantis. ::Are there redirects to this article? For example, I have seen the spelling 'Preying mantis' used elsewhere. `