+ extinfo-icon_image: base/switch40.png
+ extinfo-icon_image_alt: router
+
+ porterbox:
+ alias: developer accessible porter machien
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s