Remove `proc` argument from LockCheckConflicts

This has been unused since commit 8563ccae2caf.

Noted by Antonin Houska
Typo fix.

Etsuro Fujita
Documentation correction.

Etsuro Fujita
Fix typo in comment.

Ian Lawrence Barwick