Steal 0.4.0 / Steal-Tools 0.5.0 docs