2 ms·
It looks to me like it's generated from the existing texinfo docs, so I don't think maintaining it will be a large burden.
by eklitzke 5y ago
It looks to me like it's generated from the existing texinfo docs, so I don't think maintaining it will be a large burden.