I'm the worst person to ask, because I, too, have not actually seen the show, and know barely anything about it aside from the basic innies/outies premise. I would ASSUME tagging them as one works, kind of like how you do with superhero media for civilian + code name? But if you wanna make sure, I'd cast a wider net on plurk for the question. I'm so sorry I can't be more steady help there ;;