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