headnet/prod: links for ninja-ide