Re #302: Favicon added