This is a very simple texi manual <>.