Contributors to 2020-10-18 A nice exercise in metric spaces