Remove an unused file

mostly to remove its containing
top-level directory named `doc`, which is
misleading.

(cherry picked from commit 541b2b8)

Author: michaelklishin