Renaming heading IDs for the Working Group Operation Guide

In this merge request, I am replacing the automatically generated anchor IDs with more accurate ones that reflect the titles they correspond to. Additionally, I have added a JavaScript script for backward compatibility, which redirects links from old anchor IDs to their new counterparts in case any links with the old IDs were shared before the change.