Skip noticed that the document talks about "setting PythonLauncher as the

default application" but doesn't give a clue on how to do this. Refer to
Apple Help.