Fix the #IDs in the asides so the JS doesn’t choke on them.