Do we want to translate the course number?  I'm not sure that this will work with string extraction -- will `{course.display_number_with_default}` get extracted as part of the string to translate?