Loop electrosurgical excision procedure (LEEP) plus top hat for HIV‐infected women with endocervical intraepithelial neoplasia in Kenya. Issue 1 (11th December 2020)