Comment by Blackthorn_lp on Jérôme Brun