Add Goblint to Overall
Is it sufficient to just add Goblint under Overall in category-structure to have a result for Overall, but not MemSafety and Termination? Or should I add Goblint also under those but then opt-out from those metacategories as well? I'm wondering because Pesco and Graves do the latter, but is it really necessary?