Do not bother about PKGTOOLS anymore.

- PKGTOOLS migration happened via the migrate-pkgtools.sh script.