Anfonwch hwn fel neges destun: Automatic Documentation and Mathematical Linguistics