This page has moved to ../tools/chisel/.