tools.check

Marks menu: a tick placed with one click, in the Marks bar's ink and size (pen-dark and 20 pt to start). Needs the annotations license feature. check, cross and dot are tools of their own, so a host offers the three, two or none; the Marks menu goes with its last member.