Posted it to box-look: box-look.org/content/show.php/fv … cc2f05dfbb
To Thomas Adam: I’ve made the changes you told me about @github, but I’ve messed up my account. But wrong files are not there now anyway.
I still use python there, because I have it installed.