Browsing: pipeline repairs