application.properties editor for some reason thinks `quarkus.banner.enabled=false` is wrong, and that `quarkus.banner-runtime.enabled=true` is right. That is not true.
application.properties editor for some reason thinks
quarkus.banner.enabled=falseis wrong, and thatquarkus.banner-runtime.enabled=trueis right.That is not true.