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