Browsing: how to export pepper