DotKnot 1.3.1 by J. Sperschneider et al.