Fix #13776: Add banner before generating source map