extension

Maps to demo/extension/ — service extensions, benchmarks, data, replay, etc.

(To be expanded.)