Use the worthwhile editor

Fixes #18