Default filename when saving a diff - View it on GitHub