Looks like @tpfaff hasn't received any replies!