So is the consensus that I should move the

—jdk-paths

option into the

[distribution-locator]

subsystem, and otherwise keep the patch as-is? (Also, should the namespace in that case be

distribution-locator

, or

jvm-distribution

, or

jvm-distribution-locator

…)