Grammalecte  Files in misc/ of dad850cc6c3cca66