Avoid crash on spiderable errors. Fixes #832.
Comment only.
Clean up deploy-examples. Now it finds examples automatically.
Merge branch 'devel' into test-in-phantom