If we include this "demo", maybe it should just be a submodule pointing to the Python extension.