You are working on the feldroy/air repository. The source code is checked out at /testbed at commit…

You are working on the feldroy/air repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). For example I think checked=False should not include that attribute in the HTML, where checked=True should just have checked as the attribute instead…

The task

For example I think `checked=False` should not include that attribute in the HTML, where `checked=True` should just have `checked` as the attribute instead of stringifying `False` or `True`

Part of Lego-X/Lego-RL-2699.