New release v0.7: Dive and Bottom delimitation; Functional prog. utils; Titles in documentation