Comment Comment by antoniofoti You are absolutely right! I only mentioned vim because I replaced it myself, but it actually makes no sense to mention it. Thanks a lot for the tip. parent antoniofoti 1 year ago