we should (a) rename github master (6.9.90) to something starting with 7 or (b) include a special case for it.