I've been playing and loving Vector Pinball (Floss, on fdroid: https://f-droid.org/en/packages/com.dozingcatsoftware.bouncy...) a lot.
I can only applaud more options for pinball games in the FLOSS world. Thanks!