xがSmalltalk処理系の開発者ならばxはそのSmalltalk処理系の利用者である

というのが正しいとしても、処理系開発者以外に利用者がいるとは言えない
>>908>>920が言ってるのも「処理系開発者以外の利用者」についてだと思う