Deleted revision of $1 (as of $4, at $5) by $3: