For when the web UI is open in another tab. Can apparently set with jQuery so not too hard. The hard part is deciding the generation/nongeneration favicon.