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