David Hall is co-mentoring the miniboxing project

Ping @gzm0.