documentation/running-from-git: encode < and >