Add introduction extension again.