Yeah I learned that when I looked up the issue number, very disappointed that it’s Ctrl+R instead of the canonical reload button for the last 30 years (F5). :(

Since you knew Ctrl+r you wouldn’t experience those issues. That’s a side effect of “reload” without a reload button.