Revert "redk"

This reverts commit 6faa3eb208723b02a1cb37bb7d2d65b4b5985a68.