Looks like @immat hasn't received any replies!