PR fixup: use integers for achievement IDs, fixup user page