RSRaphael Stolt@raphaelstolt·Oct 19ae6215fHave you tried Settings / Sync from GitHub?14:25 · Oct 19, 2026 · commit ae6215f2QuoteReply