Add (the Github) favicon to docs.
More variables.