Contributors to 2022-06-13 Highlighting and de-highlighting things