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