After several years of using mpv Media Player, I only just discovered that the logo wears a Santa hat in December. This led to a brief GitHub investigation.