This page links to all major tools (3d printer, laser cutter, etc) and servers we have. The goal is to document them as well. 

===== Servers =====
{{NEWPAGE[>infrastructure:server]}}
---- datatable ----
cols    : %pageid%, maintainers_users, type_tags
headers : Name, Maintainers, Type
sort    : %title%
filter  : %class%=server
widths  : 300px
----

===== Tools =====
{{NEWPAGE[>infrastructure:tools]}}
---- datatable ----
cols    : %pageid%, owner_users, type_tags
headers : Name, Owners,
sort    : %title%
filter  : %class%=tool
widths  : 300px
----