[Guido] > Is it worth to check these into Tools/demos/scripts/? Umm, it's not worth creating a new directory. +0 on Tools/scripts/, -0 on any location under Demo/.