If true, then suppress the production of the banner, even when
%starlink-banner% returns a non-trivial sosofo (this option can be
conveniently set using Jade, with the option -V suppress-banner).
Type: boolean
True if the banner is not to be printed.