Gridio's documentation needs JavaScript for its live examples.