I don't believe that you can deprecate a package. If you put @deprecated in package.html, it has no affect on the source (i.e. the compiler will not warn about this deprecation). That means that we should not allow this tag to be used in package.html. To let users know that they are misusing the tag, print a warning.