mdocml: update to 1.12.3.