The theme this time is from The Simpsons, so yeah that is where they got it from. https://www.openbsd.org/lyrics.html