[Rd] Wrong number of names?

[Duncan Murdoch]

The StackOverflow post https://stackoverflow.com/a/69767361/2554330 
discusses a dataframe which has a named numeric column of length 1488 
that has 744 names. I don't think this is ever legal, but am I wrong 
about that?

The `dat.rds` file mentioned in the post is temporarily available online 
in case anyone else wants to examine it.

Assuming that the file contains a badly formed object, I wonder if 
readRDS() should do some sanity checks as it reads.

Duncan Murdoch