It seems that Kris Kenneway likes prime numbers so much that he written it into our ports/INDEX files’ commit logs. Today I found that gfans has posted a knowledge about the largest prime number, which is 41st Meissen prime number.