The document's name, for the top bar (spec 12a D7); null in a bare shell.
final String? documentName;