The case for a legal IDE