AUCTeX version: 13.0.3

Release date: Jan. 9, 2021