chiark / gitweb /
fix $links substitution for devices without any link