Rename boxes to boxed.
Fix primes source link.
Fix names of posts.