realworld/prod: links for s-mathlll