Mark old platform as deleted when fixing platform name problems
Merge branch 'dev' of github.com:k-int/gokb-phase1 into dev