improve DevelMain documentation