rustdoc: insert blank lines between consecutive doc comment blocks