Let’s redesign pr0xy and alt1e!