They are Unicode codes for the space characters, and AFAICT, they're there for end-line spaces, which we can remove in most (all?) cases.