I recognized the names and I know a bit about the Weather Underground. I just wasn’t sure if this was an actual offshoot group that changed their names to Scooby Doo characters before their actions.