Before git rm docs/theta, etc.

docs/theta-gpu
docs/cooley

All 3x machines removed from service on 2023-12-31