How does HotDoc sync results?