Fixes for grokthedocs being down.