@egeltje @stux These trolling polls are always funny. That being said, go with any text editor(s) that make(s) you efficient. Options in tools need to be entertain so you can built the perfect system for your needs/liking. Otherwise simply go with a close OS and you'll reach a consensus with the lack of choices ;)