Removed Eclipse plug-in manual, because we've already got a step-by-step
getting-started tutorial.