html2stx-rm.patch
