// This file can safely be removed. It's in the package for users who update from older code.