[Bug 241076] Review Request: redet-doc - Documentation for redet