oh ma — look, now issue id has not only different font size, but font color too. This joke was fixed.