Tool for verifying man pages' SYNOPSIS
