(How guile-snarf works): Need @@ for texinfo in example.