After some Google work last night, I managed to find the article that the post links to. The only filing I ended up doing was to reduce the angle on the full-cock notch to 90 degrees. It had been factory-cut past 90, which was why I couldn't release the tumbler with trigger pressure.
The gun is...