Contributors to 2023-10-30 My plans for 2023 - October update

mbork