I'm so glad someone documented this. it's been driving me crazy. I was just in a serious crunch mode for a couple of week, so all kinds of minor speed bumps in my workflow have become really evident to me. The UI transition between PR "tabs" has been one of the worst.