{# Intentionally empty: distribution HTML has no search UI. #}