Removed out of date RC as devel option

Just tidying up after myself; --devel will be back when a new RC hits in a month or two.