Colin Baxter Mon, 01 Aug 2022 07:32:40 -0700
The solution is to delete all the .elc files in the auctex repository.
Best wishes, Colin Baxter.