Further confirmation and a bit of personal history was posted on the Oberon mailing list by Andreas Pirkbauer:

https://lists.inf.ethz.ch/pipermail/oberon/2024/016856.html