Sorry, the manual contains no entry named &quot;<b>AG_ConsoleSetFont.3</b>&quot;.