Why does the documentation talk about xc3sprog?

[Tim 'mithro' Ansell]

The tool we are generally using for doing bitstream loading is OpenOCD (which is also what is packaged in conda and referenced by cmake) yet the instructions at https://symbiflow.readthedocs.io/en/latest/symbiflow-arch-defs/docs/source/getting-started.html#load-bitstream don't talk about OpenOCD at all? (Also it doesn't mention where or how to get xc3sprog either?)

[Unai Martinez-Corral]

Closing because the docs were updated and they don't talk about xc3sprog anymore:

• f4pga/f4pga-arch-defs#2233
• f4pga/f4pga-arch-defs#2240