Good day,
Yes, takes about five minuites more than simply accessing whonix.org via your “normal” browser to set this up and gain access to whonix.org via the TBB using bridges.
That’d lead to having to manage a multitude of sources (again), something we just changed a few weeks ago, as mentioned here: upcoming usability improvements that will hurt, TLS downloads, abolishing torrent downloads Using mirrors hosted by others also has its problems, as explained here: https://github.com/Whonix/Whonix/issues/96#issuecomment-183908968
Have a nice day,
Ego