Looks like @wojtgaw hasn't received any replies!