Are these mushrooms growing in my coleus pot a problem?

Happy Dude

A couple of weeks ago I brought some coleus plants indoors. Since then some mushrooms have appeared in one of the pots. These are our first coleus plants which we got in the summer, so we're not sure what to do.

Are these a problem or do we not need to worry about them? 
Should we repot them and if so how should we go about it?

nutcutlet

Fungi spores are everywhere and most are benign or positively beneficial. Nothing to worry about with those from the plant's point of view, no idea re edible for people.

Happy Dude

nutcutlet said:

Fungi spores are everywhere and most are benign or positively beneficial. Nothing to worry about with those from the plant's point of view, no idea re edible for people.

That's a huge relief. Thank you.