Why hasn't HackerNews changed the color of the top bar? I thought they did that to honor folks in the tech industry that died.