I suggest doing this guide just for kBTC since Kintsugi only mints kBTC. This way people will not confuse iBTC and kBTC :)