Assorted documentation and formatting cleanups

I'm afraid this to confuse people with the glfw_platform stuff. Perhaps, we can name this one differently?