Store GL extensions as hashes, clean up some other minor stuff.