Add forexample/generate-known