Brown jelly discharge. Reduced today.

I'm currently 13w3d pregnant. I just got a preventative cervical cerclage + arabin pessary placed 3 days back due to my history of miscarriage at 17 weeks due to incompetent cervix last pregnancy. Currently I'm having lots of thick jelly like brown discharge which i feel has increased from the last two days. I has a scan after the procedure and the cervix was measuring 3.3cm and internal os was closed. I also have a polyp in the upper part of my cervical canal measuring 11x4mm and also mild fluid in the endocervical canal. my doctor said they wouldn't risk removing it now and will take care of it post delivery. My question is how much discharge is normal and when should i go see doctor because I don't know how much of this discharge is normal. I'm also having pelvic cramps and discomfort that comes and goes past 3 days post the procedure but it has reduced today.