textops: ids to sections in documentation