2 ms·

So is the logo a big deal or not? If it’s not a big deal, that raises the question of why this much time and effort is being spent on it.