To Do list for Taint module Document the TAINT method. (After we decide whether or not to use it, of course.)