Let's drop this for now; it's stale and unused.