It would be great if there was a way of propagating the indentation but I don't know how to achieve this: I don't want the core library to have a "global" indentation level, but it would make sense for the extra lib.