What happened to plugins?

1

Dear @lubos, any update to plugins? They seemed to disappear from the top bar of Manager.

2

I’m working on completing API, then I will revisit how plug-ins fit.

3

hi,

any update on this?