The jvmrunargs lookup was previously documented, but its entry was removed during the website revamp in #2753 because the lookup was not functioning correctly at the time.

The lookup was fixed in version 2.25.0 (see #2726), so the following tasks are needed:

• Add a changelog entry for The jvmrunargs lookup is always empty #2726 in the release notes for version 2.25.0.
• Restore documentation for the jvmrunargs lookup on the website.