Known Vulnerabilities in Prelude 8.1