2016-02-05 18:39 GMT+02:00 Roberto Ierusalimschy <roberto@inf.puc-rio.br>: > I got seedpus in the order of 3%. Not knowing what "seedpus" means, I googled it. I still don't know, but the 300-odd results were quite entertaining.