Distributions maintained by VEROTEL