No fun: boredom predominates in Bong Joon Ho‘s Mickey 17, for the characters and the audience alike ...