reddit-is-fun: pro FAQ: history sync via synccit