Plasma,

Thanks for this.

I cannot see any reason why e1887a9 was lost in the merge 752f2d4. It may be to
do with how the git repo was originally populated.

Anyway, fixed now.

Mark