> Of course fixing these scripts is trivial -- make the symlink before > moving things out of the installed DESTDIR -- but you probably want to > mention such a removal in NEWS before anyone fouls up their systems as a > result. We certainly would do that.