Glad to hear it!
Oh yes, you’re absolutely right! I totally missed that. This commit from yesterday refactored the --header-offset logic so that it runs all the time, rather than ‘only when docked’. That slowed down scroll performance. My fix made that logic more efficient, so that’s why it’s working now. 