Ahmad Samir authored Jun 10, 2022 and Kurt Hindenburg committed Jun 20, 2022

And rename DefaultPropertyNames to DefaultProperties.

Default profile properties are now specified in the DefaultProperties
container directly, which simplifies creating the Built-in profile, and
keeps the properties info in one place.
- Name, Path: are empty by default, and set to the special values of the
  built-in profile in useBuiltin()
- Some properties have to be set at runtime, rather than compile time e.g.
  Command, Font, DefaultEncoding.