I did believe there were extensions in the past, but I’m not so sure any more.
I can remember there being a issue with an update a while back (not sure if compatibility issues or interference from other plugins), and I’ve always thought that the extension were the issue at hand. But maybe I’m wrong.
I will check once more when I get into work tomorrow again. Thanks for replying quickly ??