Browsing: how long did it take to build the sphinx