Extension

The extension block enables optional modules such as record/replay, benchmarks, visualization, or HTTP server.

(To be expanded: per-extension keys and dependencies.)