These files are not supposed to be here. They are stashed on my end, and got added to this according to log by a merge!? I'll remove them.