Thanks! I just added that bit to pre-empt confusion - context-switches like this are one of those rug-pulling moments (https://news.ycombinator.com/item?id=48041875).