Fix the `lgtdoc` tool for the removal of the `synchronized/0` directive