Port Problem py-streamlit

In trying to use synth for ports,in the past couple
of days the "synth status" command has seen its
update of the flavor index fail most of the way through
because of an error in the Makefile
of a port
misc/py-streamlit
and further updates of the ports collection have not
made this go away.


However,searching through the
/usr/ports/misc
directory there IS NO py-streamlit
let alone a Makefile for it.

What's at the root of this?

-=-=-
The World Trade Center towers MUST rise again,
at least as tall as before...or terror has triumphed.