rename: fix renaming toplevel names (#1260) #1066

Job	Run time
lint	1m 29s
docs	1m 42s
Rust unit tests (ubuntu-latest)	2m 35s
Rustfmt	13s
Rust unit tests (macos-latest)	2m 28s
Rust unit tests (windows-latest)	4m 59s
test (macos-latest, 3.9)	4m 12s
typecheck	1m 15s
test (macos-latest, 3.10)	4m 7s
test (macos-latest, 3.11)	3m 53s
test (macos-latest, 3.12)	4m 47s
test (macos-latest, 3.13)	4m 13s
test (ubuntu-latest, 3.9)	5m 53s
test (ubuntu-latest, 3.10)	6m 9s
test (ubuntu-latest, 3.11)	6m 36s
test (ubuntu-latest, 3.12)	9m 0s
test (ubuntu-latest, 3.13)	9m 5s
test (windows-latest, 3.9)	8m 2s
test (windows-latest, 3.10)	11m 19s
test (windows-latest, 3.11)	11m 18s
test (windows-latest, 3.12)	10m 33s
test (windows-latest, 3.13)	12m 4s
	2h 5m 52s

Provide feedback