Have you noted that the board has no connectivity chip? If I had a way to connect to internet without the required chip I had a better story to tell. You snippet of FAQ is correct for all other platforms we support aside from microcontrollers ...
[1] https://www.st.com/en/evaluation-tools/stm32f4discovery.html