INSTALL uses reStructuredText; now github knows