extensions renamed