@tejr Very nice.

For such a short script maybe it's not worth bothering, but it's usually best to note the copyright and license in file comments, so it's clear what the license in case the individual source files and the rest get separated (which seems to happen fairly commonly for good software).