/* Extracted from play.html by tools/split_play.py — INFRA. Linked at the SAME position the