def ReadAHumanString(s) in action

[moi]

>>> from strings_for_humans import ReadAHumanString
>>> ReadAHumanString("abc")
'abc'
>>> ReadAHumanString("thirty - dreißig")
Traceback (most recent call last):
File "<coq last command>", line 1, in <module>
File "c:\humour\strings_for_humans.py", line 68, in ReadAHumanString
raise TypeError('invalid human string (2)')
TypeError: invalid human string (2)
>>> ReadAHumanString("thirty - drei\u00dfig")
Traceback (most recent call last):
File "<coq last command>", line 1, in <module>
File "c:\humour\strings_for_humans.py", line 68, in ReadAHumanString
raise TypeError('invalid human string (2)')
TypeError: invalid human string (2)
>>> ReadAHumanString("thirty - drei\U000000dfig")
Traceback (most recent call last):
File "<coq last command>", line 1, in <module>
File "c:\humour\strings_for_humans.py", line 68, in ReadAHumanString
raise TypeError('invalid human string (2)')
TypeError: invalid human string (2)
>>> # genious idea
>>> ReadAHumanString("thirty - 'dreißig'")
'thirty - dreißig'
>>> # generalization
>>> ReadAHumanString("'thirty - dreißig'")
'thirty - dreißig'
>>> ReadAHumanString("'thirty - drei\u00dfig'")
'thirty - dreißig'

Real software in February 2024.

I do not know if I should congratulate the creator(s) of such a stupidity
or those who are promoting it.