Reword "Source Launcher" introduction

Author: sormuras

documentation/src/docs/asciidoc/link-attributes.adoc

@@ -249,8 +249,6 @@ endif::[]
 :Checkstyle:                                 https://checkstyle.sourceforge.io[Checkstyle]
 :DiscussionsQA:                              https://github.com/junit-team/junit-framework/discussions/categories/q-a[Q&A category on GitHub Discussions]
 :Hamcrest:                                   https://hamcrest.org/JavaHamcrest/[Hamcrest]
-:JEP511:                                     https://openjdk.org/jeps/511[JEP 511]
-:JEP512:                                     https://openjdk.org/jeps/512[JEP 512]
 :Jimfs:                                      https://google.github.io/jimfs/[Jimfs]
 :Log4j:                                      https://logging.apache.org/log4j/2.x/[Log4j]
 :Log4j_JDK_Logging_Adapter:                  https://logging.apache.org/log4j/2.x/log4j-jul/index.html[Log4j JDK Logging Adapter]

documentation/src/docs/asciidoc/user-guide/running-tests.adoc

@@ -839,10 +839,9 @@ REPORTED = 37
 [[running-tests-source-launcher]]
 === Source Launcher
 
-Java 25 introduced Module Import Declarations with {JEP511} and Compact Source Files
-and Instance Methods with {JEP512}. The `org.junit.start` module is JUnit's "On-Ramp"
-enabler, allowing to write minimal source code programs. For example, like in a
-`HelloTests.java` file reading:
+Starting with Java 25 it is possible to write minimal source code test programs
+using the `org.junit.start` module. For example, like in a `HelloTests.java`
+file reading:
 
 ```java
 import module org.junit.start;