Links for bat-extras-batgrep