Uncommenting docs; doc system is still miserably broken though.