Was this an accident? Why is the link to a github diff? Why is there no announcement?