diff --git a/README.md b/README.md
index 7d5ff8924..7d2118b0c 100644
--- a/README.md
+++ b/README.md
@@ -62,8 +62,8 @@ in the Ipopt documentation. In the following, we only summarize some main points
 
 Ipopt requires at least one of the following solvers for systems of linear equations:
 - MA27, MA57, HSL_MA77, HSL_MA86, or HSL_MA97 from the [Harwell Subroutines Library](http://hsl.rl.ac.uk) (HSL).
-  It is recommended to use project [ThirdParty-HSL](https://github.com/coin-or-tools/ThirdParty-HSL) to build a HSL library for use by Ipopt.
-  Alternatively, prebuild libraries are available from JuliaHSL, see the [Ipopt installation instruction](https://coin-or.github.io/Ipopt/INSTALL.html#DOWNLOAD_HSL).
+  It is recommended to use project [ThirdParty-HSL](https://github.com/coin-or-tools/ThirdParty-HSL) to build a HSL library for use by Ipopt
+  or to use [prebuild libraries from STFC](https://licences.stfc.ac.uk/product/libhsl), see the [Ipopt installation instruction](https://coin-or.github.io/Ipopt/INSTALL.html#DOWNLOAD_HSL).
 - [Parallel Sparse Direct Linear Solver](http://www.pardiso-project.org) (Pardiso).
   Note, that the Intel Math Kernel Library (MKL) also includes a version of Pardiso, but the one from Pardiso Project often offers better performance.
 - [Sparse Parallel Robust Algorithms Library](https://github.com/ralna/spral) (SPRAL).
diff --git a/doc/install.dox b/doc/install.dox
index 6fad14051..56e30d4d7 100644
--- a/doc/install.dox
+++ b/doc/install.dox
@@ -231,18 +231,17 @@ You may either:
 of a HSL library, if a HSL library is provided.
 
 Next to the HSL source packages, also **prebuild libraries** of HSL are
-available in the HSL_Jll.jl package (directory `override`) from
-https://licences.stfc.ac.uk/product/julia-hsl.
-While these libraries are intended for use with Julia, they can also be
-used by %Ipopt without Julia when using the shared library loading mechanism
+available in the LibHSL package from https://licences.stfc.ac.uk/product/libhsl.
+They can be used by %Ipopt when using the shared library loading mechanism
 described \ref LINEARSOLVERLOADER "below".
-The HSL libs from HSL_Jll.jl have additional dependencies. If installing
-the package via Julia, the latter will automatically determine and install
-the dependencies. Without Julia, one can install the dependencies manually:
+However, there are additional dependencies that need to be downloaded as well:
 [OpenBLAS32](https://github.com/JuliaBinaryWrappers/OpenBLAS32_jll.jl/releases),
 [METIS](https://github.com/JuliaBinaryWrappers/METIS_jll.jl/releases),
 [CompilerSupportLibraries](https://github.com/JuliaBinaryWrappers/CompilerSupportLibraries_jll.jl/releases).
 
+In addition, a package of prebuild libraries specially made for use by Ipopt
+is available together with the HSL source package at https://licences.stfc.ac.uk/product/coin-hsl.
+
 \note Whereas it is essential to have at least one linear solver, the
 package MC19 could be omitted (with the consequence that you cannot use
 this method for scaling the linear systems arising inside the