What happens if one edits a cython file? Should the ``develop`` command be re-run? It might be worth clarifying this.