In 5.1.0.3, where is the "Add Ons" menu?

[Joshua_Kramer]

In 5.1.0.3 on Linux, where is the "Add Ons" menu that is supposed to
be under Tools?

Thanks!
-JK

[brucehohl]

And, use Tools > Extension Manager shows the Add-on's install.