Ok I got answers on IRC, so discard my comment above.