I noticed a problem where the horizontal rules in the RST don't appear correctly in the output Markdown. The processing script should probably be updated to strip out horizontal rules, as they are not as necessary in the resulting EIP.