Add contextual link to source file on GitHub in devel-doc (thanks @icook @harding)