Add documentation on certificates to manual; fix sorting proficiency exercises to check class instead of CSS