mdocml: update to 1.13.1.