connman and changing ip addresses back and forth with dhcp

The rules for setting up an IP address on your computer in Linux has changed and now there is this connman thing. I'm on a Beaglebone black:

Linux beaglebone 4.19.94-ti-rt-r72 #1buster SMP PREEMPT RT Tue Mar 8 23:22:50 UTC 2022 armv7l GNU/Linux

I see there is a file,

cat /var/lib/connman/default.config 
[service_eth0]
Type = ethernet
IPv4 = 192.168.1.132/24

1) Do I change this file to change my IP address? For example, if I want my IP address to be 192.168.42.42, do I just change it in that IPv4 line? 2) If I want to change this to be assigned by the router (dhcp?), what do I do? 3) When does the change take effect? Do I have to reboot and/or stop and restart some service?