node_manager_fkie: mark line with problems in launch editor
node_manager_fkie: fixed handling of history files
Merge branch 'master' of https://github.com/fkie/multimaster_fkie