And now so is its file extension