Add pointer to the `syntax/modresolve` docs.