Revert me: Disable clippy for `rand-extension` example (#728)

18 jobs for master in 56 minutes and 58 seconds (queued for 2 seconds)