Looks like @gydronium hasn't received any replies!