Contributors to 2016-10-10 Fast font changes in AUCTeX