Huh, does #PeerTube no longer rely on the infobox banner feature? I'm a little surprised at not seeing it anywhere, was really useful for letting people know about stuff.