Clarify starting-time for OPE-based revision-counter calculation
Per discussion at arti#1201 (closed), we should clarify the specification about how we calculate our revision counters.
If I understand correctly: the input for the OPE calculation should not be the offset within the current time period, but rather should be offset within the lifetime of the current SRV. This may be as simple as reverting 0127bdfc.