Luca

Make wget automatically determine the file name.

9

Sometimes when using wget it is pretty annoying having to write the file name again. This PR makes that unnecessary by automatically determining the file name. This is done by...

Make the arguments of os.epoch, time and day case-insensitive

2

I don't see any reasons why the arguments of os.epoch should be case-sensitive. This could be a problem especially with UTC when people try `os.epoch("UTC")`, but I think it would...

ÖÄÜ... do not work in Text Box

3

Not sure if that is intended or not but i can not type ö ä ü ß or any other "mägical character" in the text box.