write_tmate_config() {
	echo -n "# Writing tmate config... "
	[ -d /root/.tmate.conf ] && mv /root/.tmate.conf.old	# Unnecessary here, but...
	cat > /root/.tmate.conf <<-JUSTANOTHERDOC
		set -g tmate-server-host "tmate.ruf.uni-freiburg.de"
		set -g tmate-server-port 2222
		set -g tmate-server-rsa-fingerprint   "d7:d7:06:d0:b6:0d:75:a1:ad:ec:69:18:b3:a3:c0:4a"
		set -g tmate-server-ecdsa-fingerprint "4f:c9:81:f1:1a:20:7d:6f:97:12:f2:a9:0f:f4:c5:6c"
		set -g tmate-identity ""
	JUSTANOTHERDOC
	echo "done."
}