Fix links, and ignore non-en pages that aren't up-to-date

Author: chalin

.htmltest.yml

@@ -10,6 +10,8 @@ IgnoreDirs:
   - ^blog/(\d+/)?page/\d+
   # TODO drop after https://github.com/open-telemetry/opentelemetry.io/issues/5267 is fixed:
   - zh/docs/contributing/pr-checks
+  # TODO drop after https://github.com/open-telemetry/opentelemetry.io/issues/5423 is fixed:
+  - (ja|pt)/docs/concepts/instrumentation/libraries/
 IgnoreInternalURLs: # list of paths
 IgnoreURLs: # list of regexs of paths or URLs to be ignored
   - ^/api$

content/en/blog/2023/spring-native/index.md

@@ -37,11 +37,11 @@ Boot 3) out of the box:
 ```
 
 To get even more visibility, the Starter can be combined with
-[instrumentation libraries](/docs/languages/java/libraries/). For this purpose,
-the OpenTelemetry Java contributors have improved the JDBC (database) libraries
-and logging instrumentation libraries. For example, for the Logback logging
-library, they have added GraalVM configuration to make the library work in
-native mode[^1].
+[instrumentation libraries](/docs/languages/java/instrumentation/). For this
+purpose, the OpenTelemetry Java contributors have improved the JDBC (database)
+libraries and logging instrumentation libraries. For example, for the Logback
+logging library, they have added GraalVM configuration to make the library work
+in native mode[^1].
 
 Furthermore, they have worked to reduce the configuration to set up the logging
 and database instrumentation with the Starter. For example, if your application

content/en/docs/languages/java/instrumentation.md

@@ -5,7 +5,7 @@ aliases:
   - /docs/java/manual_instrumentation
   - manual
   - manual_instrumentation
-  - /docs/languages/java/libraries/
+  - libraries
 weight: 10
 description: Instrumentation ecosystem in OpenTelemetry Java
 cSpell:ignore: Logback logback