This file was renamed to "configs.txt".