Clean up docs and remove unnecessary script.