Moved to /tools/binary-workshop/