Test stubs for HTML