Shortened script file name for convenience.