Random background image

OK, I know there’s a plugin to randomly swith the header image. But is there a plugin to change the background image? I’d like to use some of Squidfingers patterns (https://squidfingers.com/patterns).
Does this help (https://www.ads-software.com/support/topic.php?id=11010#post-65985)?