HTMLファイルの拡張子は ".html" をよく見るようになったけど、JPEGファイルの拡張子に ".jpeg" はなぜか違和感がある