Add info about the source code verifiers