new release (doku moved to https)