Thomas De Backer

Removed the last commit about docker documentation as this was fixed in 12ff9d5e1491b805605d698c198b681db5c1dcbb

Hi @marco99asr, If you encounter bugs, have requests or other random questions, you can reach out on issue trackers on projects like this one. (or, if available, online communities on...