github does not do ReST very well