略称に目くじらたてるのもどうかと思う。日本人一般の癖なのだから、それは
大目に見るのが大人というものだろう。