Dang, I honestly never though of that - I'm a GDScript junkie. ;-)
I would think we need to accommodate Mono devs for sure.
Do you know how exactly how many megabytes of data the Mono libraries add - is it 4.3MB? If so, I'd say go ahead and develop - we need you! I'll add a note to the jam addressing this too.
Thanks for the heads up!