[entropy.output] _print_prio: use nice unicode header chars :-)