Development branch for knot theory