Looks like @contralope hasn't received any replies!