Rainer M Krug <r.m.k...@gmail.com> writes: >> We can check for that in Org Lint and warn the user. > > That would be a really good idea!
Done. > Before deleting it, one should get a warning that a certain feature is > deprecated. At the moment, it is only mentioned in the help (as far as > I am aware). It has been mentioned in the manual for the last two years. See footnote in (info "(org)Header arguments in Org mode properties"). Regards,
