doc/examples: give meaningful names to the example files