Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
A user reports that they get 1+ minute hangs at startup. Debugging v013 reveals:
..that is, that
This is only called to make a small UI enhancement, so seems worth removing.