Ben Pace comments on Open Thread – Autumn 2023

[Ben Pace]

Alright, this is enough (just needed 5), thanks!