
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><br><br><div dir="ltr">sent from a phone</div><div dir="ltr"><br><blockquote type="cite">On 12. Dec 2020, at 06:59, Joseph Eisenberg <joseph.eisenberg@gmail.com> wrote:</blockquote></div><blockquote type="cite"><div dir="ltr"><div dir="ltr"><span style="color:rgb(32,33,34);font-family:sans-serif;font-size:14px"><br></span></div></div></blockquote><div><br></div><div><br></div><div><br></div><br><blockquote type="cite"><div dir="ltr"><div><span style="color:rgb(32,33,34);font-family:sans-serif;font-size:14px">All names are opaque to computers, so we use standardized tags which can be translated one time, instead of needing to translate an operator=* tag for every language and every country to make it usable. </span></div></div></blockquote><br><div><br></div><div>yes, but if the Chinese Navy does not fit what you expect from a navy it is more misleading than helpful. Which military service are the Italian Carabinieri? The US Marines? </div><div><br></div><div>What about the Guardia di Finanza?</div><div><br></div><div>I agree we will probably find use for both, a specific operator tag and a more generic attempt to put the things into boxes.</div><div><br></div><div>Cheers Martin </div></div></body></html>