doc: fix more obsolete stuff in Platform docs.