Scripts to convert JCR-283 spec to RST