Shouldn't there (or in other place) be a suggestion about example name and extension?