realworld/prod: links for sea5kg-cpplint