Rename find_dangling_comments script to check_docs and make improvements GitOrigin-RevId: 3c81c734f4259c5939c190a886b5b90239d03017