realworld/prod: links for php2python