The “contents” atom in structs fileadd, filedel, and fileundel are technically optional, but we haven’t really built a way to indicate that. We should fix that.