Hi,
I released huggle 3.1.15, it wasn't very simple release to be honest
and I am still working on it. I will not put it on update channel yet
because there is a huge amount of big changes in this release that
need some testing.
* When you get logged out of mediawiki, all queries that were to be
executed get suspended and resumed when you log back. That means you
no longer need to double revert same edit and so on
* ORES scoring was experimentally enabled for all wikis. That should
give you more precise scores for all edits. The weight of this score
is rather low now but should there be no issues I will boost it in
next release.
So, keep testing and let me know if you find any problems!