…and here's the license as a separate file