Contributors to 2018-11-03 A few remarks about defining minor modes