Add 17.1 with new erldocs extract-specs code.