Fixes #5052 - minor updates in devel docs

The issue has already been fixed in https://github.com/tstrachota/hammer-cli/commit/3466974379c043f34c36d8b19aed1eb904cc43e8
This PR only fixes a link in the documentation.