Adding refinements and experimenting with RST markup