Renaming required identifier changes require path

[LLazarek]

Renaming a required identifier changes the module path in that file's require.

Example: two files, a.rkt and b.rkt

;; a.rkt
#lang racket
(provide a)
(define a 5)

;; b.rkt
#lang racket
(require "a.rkt")
(+ a 2)

Opening b.rkt, right clicking on a on line 3, and renaming it to foo changes the line 2 of b.rkt to (require foo).

What I expected: it would leave the require path alone.

Racket version: 8.1.0.7 [cs]

[sorawee]

Relevant discussion: #417

[rfindler]

This no longer offers a renaming option. Probably it is okay to close this, given #417.