Added comment explaining use of test_at in HTML test case file