Attempt at an example of renaming as part of ASDF,
thwarted because ASDF only allows for an around-compile hook,
not an around-load hook, and package renaming the portable way
requires the latter as well as the former (or a common hook). Sigh.