This reply to this post claims there used to be a way to download this, but now ST removed the ability to download their patched toolchain? https://community.st.com/s/question/0D50X0000BQOoj5/difference-between-the-toolchain-gnu-tool-for-stm32-and-gn...