users-guide: Fix URL of deferred type errors paper