It was the only extension I used then, but I added a few more recently; it seems to be working fine now, though, and I haven't run into the issue for a while.
