Add some new extensions (via sync-with-gerrit.py)

Change-Id: If5db832e9ce085f4175a66c200dd0252acb8ff57