Rich editors in a Docker development environment Rich editors in a Docker development environment docker docker