Argh, webkit dev tools. You’re supposed to help me debug stuff, not crash and empty the cache while you’re doing it!