I merged the change. In addition, I integrated the move of the "getting started" page in the navigation also for the past releases.
All other changes are only visible in the "HEAD" version of the website and it is not easily possible to port the improvements to version 24.06 because part of the documentation is auto-generated from the code and there are other changes in the code so that the result does no longer match 24.06.
The easiest "solution" for this would be to have a Fast Downward release soon, so that the improvement of the documentation is reflected also in the documentation for the latest revision.
|