Remove this old example too, to ease with a new merge later