Recompress PNGs as suggested in #1523, remove unused super-old Ogg logo