Videos

I'm currently working on establishing a PeerTube channel, because I guess I always wanted to make movies and videos. I'll embed some of the videos here until eventually they won't fit on a page anymore. I also put (most of) the same stuff on YouTube, but later than on PeerTube, because it's not an open platform.