Clarifying that GitHub's font separation does not occur in most consoles.