Tool "Mark verified" renamed to "Mark reviewed" for the specification view