Joseph has reviewed the front-end changes, but reminds me that he cannot approve the other parts of this patch (target hooks, new builtins, etc). Can someone else do that, please? Ben