Start porting additional-extensions.py to js