check-syntax allows renaming identifiers from other modules (as well as the required module name)

[dfeltey]

In this program

#lang racket

(require racket/list)
first

right-clicking on either first or racket/list bring sup the option to Rename racket/list, when this option is chosen both first and the required racket/list are replaced with the new name.

Renaming should probably only apply to identifiers defined in the current file.

[jackfirth]

You could rename an imported identifier by adding a use of rename-in to the require expression.

[rfindler]

Probably some arrows in check syntax should be explicitly noted as not part of a renaming operation and then the require-generated arrows should use that.