There is a "TODO" in the Setup-building.rst

I noticed a TODO in the setup-building.rst page.

```
.. TODO: add docker instructions
```

Are we still planning to complete this?
If not, can we remove it?


Action items:
- Either remove the todo
- Or complete the todo
