Good catch.
Rev 521d2ad in devel brings the context_menu plugin into alignment with the rest of Leo's core.
The node should be marked dirty. Otherwise Leo might not save the marked "bit" when quitting. Indeed, c.setMarked calls p.setDirty. Within Leo's core, all calls to p.setMarked/clearMarked are followed by a call to p.setDirty.
Note: having v.set/clearDirty set both the marked and dirty bits might seem to be a better solution, but that would likely be dead wrong, because v.set/clearDirty might be called on startup.
Edward