FormalQ requires JavaScript to run the workspace.