#macos

typing revisited

2020-06-04