Quick patch that should not affect you.
Most of the changes are code clean-up and some optimizations.
Also, I have done some leaderboard connection optimization and adjustments.
Please report any issues in the forum and I'll do my best to help!
Happy Pinballing!