Laurent Demailly
Results
311
comments of
Laurent Demailly
in the above screenshot btw, it seems unless I read it wrong that behavior is consistent for all 4 symbols for that other terminal; which is all I need