Stefan Monnier Tue, 23 Mar 2021 11:13:44 -0700
BTW, I rebased my branch on top of your patch, and hence on top of auctex.git's `master`.
Stefan