Just in case anyone else is slightly worried due to the small file size, VirusTotal comes up clean: https://www.virustotal.com/gui/file/e3c86a5d716565ff56065ac5116da5076e4e66c1499bcfe03e8a5cc9ede127b8
