HF RL Explorer

Using rst prolog removes top level headings containing a domain directive Describe the bug

Using rst prolog removes top level headings containing a domain directive Describe the bug: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). If rst prolog is set, then any documents that contain a domain directive as the first heading (eg :mod: ) do not render the heading correctly or…

The task

If `rst_prolog` is set, then any documents that contain a domain directive as the first heading (eg `:mod:`) do not render the heading correctly or include the heading in the toctree.

Part of Lego-X/Lego-RL-SWE-Bench-Verified.