On line 610 of cffi-manual.texinfo, there's an impnote that states that CFFI-grovel is not part of CFFI. But later, we learn that it is. Maybe replace this implementation note with a cross-ref to the CFFI-grovel chapter?

Best, r