Updated docs for fastctf