Looks like @hampa hasn't received any replies!