Docutron 1.2 is out! This live example is based on commit 0ec3ad8×