Extended comment of ott-extras.el