2616e14c83
* Also rename user platforms to user players * Fix other platform vs. player ambiguities
* Also rename user platforms to user players * Fix other platform vs. player ambiguities