OK, you're saying we should have a `default_version` and `default_toolchain` (or just `version` and `toolchain` in the default section), rather than this first element magic? I agree.