rtd-theme-js-beautify.patch
