I am seeing a problem where drracket/check-syntax
show-content
returns bad pathnames in syncheck:add-jump-to-definition
items. It seems to happen only requires of relative path names.
Given a.rkt and b.rkt in the same dir:
#lang racket/base
(require "b.rkt")
provided-by-b