html: rework docs about operation, pledging etc.