Add design comments for new pushIBuff()