Explain the difference between HAVE_LIST and CONFIG_LIST in a short comment.