ATP 12.5: version numbers updated
doc/automatic-tex-plugin.txt