Pre-push breakpoint.

--
user: Michael Guravage <michael.guravage@cwi.nl>
branch 'default'
changed doc/v1.html
changed doc/v1.pdf
changed doc/v1.rst