There’s a Revenge of the Nerds remake in the works.