86afd649c3
Release now judges the marker by identity, and the identity check sent os.kill(own_pid, 0) on every release. Our pid is alive by definition; only the incarnation (5 ms ct) is in question. Same short-circuit in marker.rs.