more pypy badges