>>> (1) Does "deprecated" mean that the BABEL line will be gone from Org-mode=
>>>  7.8?
>>
>> Yes.
>>

> AFAIK, if you are pulling from the git repo, it's already gone: it's
> been gone since Oct. 20 or so.

Heh.  Thanks, Nick.  I AM running with a copy from the git repo, but I've been
afraid to pull any fresh copies lately, for fear of breaking my set-up.  (It's
also true that I haven't had any compelling reason to get, or git, a new copy
lately, so this behavior is perhaps not quite as stupid as it must seem.)

-- Mike