The URL containing documentation about this diagnostic message, if any.
Note: this should not be confused with the location in the user's code where the error was reported; that information can be obtained from filePath, length, and offset.
String? get url;