Intellij config: JDK setup: switch interpolation markers in dev-tools/idea/.idea/misc.xml to be well-formed (unlikely-to-be-used XML attribute 'subst.="idea.jdk"'), so that in-place users won't be yelled at by Intellij. When IntelliJ starts up without this 'attribute' having been interpolated, it ignores and then removes the unknown XML attribute.