That’s already done. Needed it to be able to copy stuff to my SD card using USB.
I have downloaded it (or at least I think I have - Got a thing named “platform-tools_r33.0.3-linux.zip”), but I didn’t try to install it yet, busy with real work for a change. 
Will try it when I have a couple hours to lose wondering what went wrong… 
Hm, that sounds different from the link you gave me above. That guy ran “adb devices” and the daemon started all on its own at tcp:5037. I presume both work and the port is unimportant as long as it is above 5000?