/* Intentionally kept (referenced by the original index.html). */