This is a silly collection of tools I used to convert my photos from years of Android formatting to "year-month-day hour.minute.second.<extension>". These are definitely specific to my setup and shouldn't be used without first taking a look.