Remove very old, unused doc file