You mean when Trunks got to look at their blueprints in their own ark?
That is filler, their names were never revealed until years later, Toriyama only passingly commented during an interview that their names were Lapis and Lazuli. It worked out good for the American dub, cause they got to see that adlibbed into the anime, but in the original Japanese aired versions, there is no reveal of their real names. In the Manga, it was also not revealed during that whole arc.
If unexplained as instructed on the pools description then aren't we supposed to remove this?
Check the pool history and try DM'ing or @'ing the person who added it. Give them a chance to respond, and if they take too long or can't come up with a valid reason, go ahead and remove it.
