Renamed syntax tutorial filenames