Bump.

Only one proof and maybe a speedtest.