Commit 5b73592571daf964152e05335bb0f465a1cd9654

Stefan Sperling 2020-09-15T09:52:03

document our default choice of text editor; suggested by Ricky Cintron