The instruction from this link works to change from DHCP dynamic IP to static. But there's a step where it says:
You need to also remove the dhcp client for this to stick (thanks to Peter for noticing). You might need to remove dhcp-client3 instead.
And then:
sudo apt-get remove dhcp-client
Is that really necessary? If so why? Is there any other way without removing dhcp-client
?