revised version, November 2024

2022 and older