When ext.proofreadpage.page.edit.js in rEPRP terminated its job, some event should be launched like:
mw.hook( "ext.gadget.proofread.page.ready" ).fire( something? );
This might help various ”asynchronous execution“ problems mentioned in T119324#2070849 as well.