Partially reverting 337639b0609100d3e68152aa5a3bb1c6430d1a29, trying different solution. Additionally, this is a fix for #707: Many examples do not link with Git HEAD version
Doc additions