pause.c: Remove last remaining `$Id:' marker.