> Good catch, go for it!

Pushed!

> I suppose these files are missing from the 1.3.0 source code tarball.

Yes, that's in fact how I found out about this.

Cheers, have a nice day! :-)