Dave and bambi: raspberry edition Wiki/Namespaces