Everything you've always wanted to know about Rubedo extensibility