API - bugfix regarding platform name changeGithubGithubJanuary 24, 2023APIThis release fixes the issue where a platform name change wouldn't be reflected correctly