Giving up freetalk, redet and redet-doc