[dependenttypes]

Sadly you do need a lot of things (such as chat programs, an email client, a browser, and potentially an editor) open at once.