mentioned recompilePython-Conedy in the documentation