redef readme