>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> Let me know if you see an issue with this. No issues, I think this approach is clearly better. Starting with Emacs 24, only --fullname is used. So, all the level >= 2 annotations will be dead at some point. Tom