Ihor Radchenko <yanta...@posteo.net> writes: > The best idea I can come up with is the following: > > 1. We replace headline -> heading where it is safe
Yes, let's do this. > 2. We introduce a new constant: org-element-heading-type, defaulting to > 'headline > 3. We use the new constant instead of 'headline element type symbol > 4. We announce loudly that 'headline will be deprecated in favour of the > new constant > 5. Few years later, we change the org-element-heading-type value to > 'heading I think this is okay too, though `org-element-heading-type' might not be explicit enough: what about `org-element-heading-type-symbol'? -- Bastien
