build: Untrack Eclipse files.

* build: Minor changes due to LAT visit.
* docs: Forgotten renamings of `Docs` folder.