Jump-to-definition ignores definitions within the document

[LVrecar]

When compiling a PDF, the links generated by macros point to their definitions on mathhub.info, even if an explicit sdefinition environment for a macro exists in the current document.

Example:

\documentclass{article}

\usepackage{stex}
\usepackage{stex-highlighting}
\begin{document}
\begin{smodule}{test}
    \usemodule[smglom/logic]{mod?xor}
    \begin{sdefinition}[for={lxor}]
        Let $a$ and $b$ be statements.
        Then the \definiendum{lxor}{exclusive disjunction of $a$ and $b$}, written $\lxor{a, b}$ holds iff $a$ holds or $b$ holds, but not both.
    \end{sdefinition}

    \pagebreak
    Some text, in which we use the macro $\lxor{a, b}$.
    Clicking the $\lxor!$ should jump to the definition, but points to the smglom's definition hosted on mathhub.info instead.
\end{smodule}
\end{document}

Producing a PDF and clicking on any use of the XOR symbol redirects to the XOR definition hosted on mathhub.info, instead of the definition at the beginning of the document.