bug#44609: 12.3.1; auctex.el does not (provide 'auctex), which breaks use-package

[Arash Esbati]

Hi Mosè,

Mosè Giordano <mose@gnu.org> writes:

> did you read the README.md of `use-package'?  It actually has an
> example about AUCTeX:
> https://github.com/jwiegley/use-package/blob/caa92f1d64fc25480551757d854b4b49981dfa6b/README.md#package-installation
>
>> If you need to install a different package from the one named by 
>> use-package, you can specify it like this:
>
>     (use-package tex
>       :ensure auctex)

should we add this to AUCTeX manual?  Is this snippet also necessary
when AUCTeX is installed via ELPA?  I don't do use-package, so I can't
tell.

Best, Arash