dired-toggle-marks - shouldn't there be a defalias for old name dired-do-toggle?

[Drew Adams]

dired-do-toggle was apparently renamed to dired-toggle-marks.  Shouldn't
there be an alias for the old name?

Byte-compiling a file containing dired-do-toggle with more recent Emacs
versions gives this warning: "the following functions are not known to be
defined: dired-do-toggle."

Shouldn't the warning say simply that dired-do-toggle is an obsolete name
for dired-toggle-marks?  And shouldn't the file still compile
dired-do-toggle, using the deprecated name as an alias for the new name?