fix developer CI page titles