AUCTeX version: 13.0.2

Release date: Jan. 8, 2021