An open platform for building developer portals