True, this is a bug in the github UI, it doesn't show that file with the current changes if I open old comments. So this are internal event subscriptions and should be implemented properly by raising a real event and overriding that. (I explained this in older comments already).