Branding example of login page: how to set a different favicon?

[fed]

Hi,

considering the example from the manual
https://github.com/apache/guacamole-client/tree/master/doc/guacamole-branding-example

How can I change the default guacamole favicon?

Thanks for the help.