you're right. withdrawn. let's keep this API sync. we want to keep the state here, in `LiveHTMLDocument`, so it will be sync.