For the chrome extensions PR, I’m cautious about the new textfile read API. I think that’s considerable debt if we don’t treat it carefully. I’d rather see a PR to introduce that new API, then migrate existing places that would benefit over, then adapt chrome extensions to improve by using it.