Burp extension to discover robots.txt when it has interesting content - View it on GitHub