Extend the SERVERINFO file format to include an extensions context