Consistent titles for webpages: use ID in HTML title and (short)name
in page heading.
Use problem shortname instead of ID.
First show problem shortname (e.g. letter), then full name.