Currently, @deprecated is not permitted on a package. Should it be? (In contrast, the @Deprecated annotation *is* permitted on a package declaration.)