extensions for the best editor ever