Looks like @patrickleclair hasn't received any replies!