Update Porting page, move platform experts list there#1839

encukou wants to merge 1 commit into

python:mainpython/devguide:mainfrom

encukou:platformsencukou/devguide:platformsCopy head branch name to clipboard