拡張子が変わる(写真の続き6)

最近解ってきたことがあります．それは，写真の拡張子が変わることです．変わると言っても”JPG”が”PNG”に変わるんじゃなくて，”JPG”が”jpg”になるのです．

これが，写真がダブる原因か，と思いましたが，拡張子の大文字・小文字まで，全く同じファイル名でも２枚写真が存在し得ますので，関係ないようです．