Hi! I very much like that the updated Fedora CI docs already generate table of contents of current page on the right side. This is very useful. However, during local build the table is not generated. Is it possible to somehow enable this feature in the builds.sh script? Thanks for any hint!