Fixes the Quick filters button sometimes not appearing on the Pull requests page when navigating within GitHub. A hard refresh is no longer needed.