+ alias: developer accessible porter machines
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ service:
+ alias: machines running services
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ buildd:
+ alias: buildd systems
+ extinfo-icon_image: base/debian.png
+ extinfo-icon_image_alt: Debian GNU/Linux
+ extinfo-notes_url: http://db.debian.org/machines.cgi?host=%s
+ general:
+ alias: general purpose developer accessible machines