Add the listing of example files and some notation in scripts.php.