Does this mean that the v. 4.2 manual is not finished yet, (would have thought, though, that the manual was only located at github while developing …), or that a link ought to be created on the Resources page?
I guess it might be worth adding a link to the development version of the manual to the resources page as well, though it usually isn’t up-to-date with the current dev version.