Now links to problems, bold names, and prettier!