Update and rename detab.rst to Ex_1.20_detab.rst