Redirection seems to be damage. The content is available at https://smtquery.github.io.