Clarify use of `String.prototype.format()` in extensions

String.prototype.format() is ostensibly deprecated, since it's not available as an ESModule, although there is no replacement to date.

This doesn't apply to extensions however, since GNOME Shell applies the format() polyfill as part of its environment setup and should be used by extensions (in contrast to advice in the API docs for the Format script-module).