[#2432] Manual refers to a package-private DefaultConfiguration
constructor