op Joined on July 16, 2021

7 public recordings by op

telescope external-editor demo 00:36

by op

telescope: complete from history 00:10

by op

telescope: remote open demo 00:14

by op

telescope: reply-last-input 00:43

by op

Telescope 0.4 01:05

by op

Telescope demo 01:03

by op

[old] Telescope demo 01:06

by op