minor update to loading extensions doc