Rename extensions -> server_extensions