Re: [libsmi] smilint and AUGMENTS