FWIW, the favicon is working for me today without having to change the HTML. It might’ve been a caching thing on my end!