Dave and bambi: raspberry edition Wiki/Extensions