email addresses and ensime inf eval