Are we really referencing things with `\S\ref{...}`? I thought we had `cleverref`.