Kleinere Bugs, Dateiendung