Experimenting with RelaxNG