Hi,
I noticed that the GitHub links in the Genode Foundations Book (version 25.05, HTML) are pointing to the 23.05 branch instead of 25.05. This caused some confusion on my end when cross-referencing the documentation with the code.
Just wanted to bring this to the community's attention in case others encounter the same issue.
Best, Rumen