Reported via email:
Normally we should sort more strictly and include only the necessary files. But the overall package is relatively slim, and it is hard to determine which files are really necessary. That's why I have fully integrated it.
Deleting a branch is permanent. It CANNOT be undone. Continue?