Random Tildes logo but with theme-appropriate logos

So instead of replacing the header logo with a tilde character it would use these logos: https://gitlab.com/Bauke/tildes-logos