recipe `highlight-symbol': change source to github