deprecation, because (a) I want to undeprecate it; (b) its effect is
trivially reimplementable even if it vanishes; (c) it will shortly
become the right thing to do in sbcl.