CoqdocJS does not understand "Next Obligation"

Looks like CoqdocJS doesn't understand that the new Next Obligation syntax also starts a proof that should be hidden by default.

Example: http://prosa.mpi-sws.org/branches/master/pretty/rt.restructuring.model.readiness.jitter.html#jitter_ready_instance