Dev documentation doesn't say how to make a new workspace
Today I tried adding a new plugin, made a typo in the name, fixed it, and then Eclipse refused to import it again claiming it already existed. After trying a bit to fix the problem I saw no other option than to delete the workspace and make a new one.
That sort-of worked (added all projects, and managed to run oomph), except now I have no escet code formatter style, and check-style clashes with the current formatter. Likely I am missing more, but don't know.
The dev documentation has no section on how to make a new workspace, other than by a full from-scratch install, which is silly for creating 1 directory.