Doc issues
I will keep updating this to reduce noise.
-
undocumented xsmith_no-holes-in-subtree?
(there are a lot more core attributes that are undocumented, but they start with_
, which I suppose meaning they are not meant to be used by Xsmith users)