While the extension, once manually activated, does write the current play time regularly, it needs to be re-activated for every newly opened file, it appears. I can't find any callbacks that would automate this, making this quite unusable for me. I guess I'd have to dig into the C source code of VLC...