Final tweaks to the "Minimal Eclipse Install" draft post.