verify_dotfile: mention case-insensitivity in comment