Update redstone.rst