Added more OpenGL extensions.
Refactored HTML paragraph generation. [Warning: massive diff]