Changing doc.attrs?

Great - is it code you would want to share or are each one of us three going to do this by ourselves? :slight_smile: