F1667869

F1667869: developer_setup.diviner