pkglint -r --network --only "migrate" As a side-effect of migrating the homepages, pkglint also fixed a few indentations in unrelated lines. These and the new homepages have been checked manually.
pkglint -Wall -F --only aligned --only indent -r No manual corrections.
This is needed as a dependency for the new version of lang/coq.
