An update on the middle levels problem