Merge pull request #4620 from jim-parry/favicon

[ci skip] Add missing favicon to user guide source
1 file changed