Looks like @diogenes hasn't received any replies yet!