Here you go! https://erlangforums.com/t/eep-76-priority-messages/
@rickard that’s exactly the case I started with for “priority” messages. Of course it won’t be possible to distinct between gen* priority messages and user-generated priority messages, but I think it’s OK.