Better HTML links to Travis and RTFD