d0fe7ef0c8
the size of the rendered release notes. By default, any element with a role="historic" attribute won't get rendered in the output unless the INCLUDE_HISTORIC Makefile variable is defined.