a text editor that replaces Docker https://docs.example.com/509214 0 points by rose | 9 months ago Has anyone else tried this? What was your experience?