I noticed in ...\robotframework-magik\resources\robot_magik_base.txt a
reference to the cli prompt which is still MagikSF. This indeed is still the
case in SW5, but is technically a defect as that string is hardcoded in
remote_cli.listen()
It would appear that the prompt search is a regular expression in the
framework, so it should be possible to include an optional group for the "SF"
part of the prompt. Just a heads up really as I will submit a defect.