Lockin chinese smart door lock magnet holder / extension

I got one of these chinese Tuya / Smart-Life based smart electric door-locks, sold on Amazon as Lockin brand. The magnet included shall indicate door open/closed position for automatic locking, but magnet fixed on frame was too deep to function, so I needed to create an extension to raise the magnet. So here ist is.