1.2.3.1 (was 1.2.2.7): Display student number on user badge