editors 2020-04-28

@dotemacs has joined the channel