I just found this and it solved some problems with my new mirror.
I took the liberty to make your suggestion into a proper patch, see the related branch.
I just found this and it solved some problems with my new mirror.
I took the liberty to make your suggestion into a proper patch, see the related branch.