a developer-oriented browser