* avoid using https://www.mpfr.org/mpfr-current link
This is basically a copy of com.bambulab.BambuStudio. As such, same rules apply here as does over there.
