Add porting guide to docs [ci skip]