No particularly good reason not to call it `list`. Comment added in next commit.