>>> (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