Ho seguito il link sopra a un report precedente, che include un link a un report precedente precedente che include qualcosa che sembra puntare anche a questa possibilità:
Tuttavia, è passato molto tempo, quindi il codice potrebbe essere stato totalmente diverso all’epoca. (Ho provato a tornare indietro nel tempo con Git, ma la cronologia si è fermata nel 2021, quindi presumo che il codice si sia spostato a un certo punto.)