Reworked develop.cpp and its entry in the header.