It does!

I found what I had messed up: having pasted some code from another place (I had originally written it in the desktop), it brought along some tabs mixed in with spaces (some tool along the way messed those up) and I didn't notice it in the editor, only in the console (different fonts, due to all the experimentation).

So, all in all, a completely noob mistake from someone programming in Python for 20 years :/

Thanks for such quick assistance!