Is there a medical name for boogers?

The issue has been discussed before, with no definitive conclusion. I think the closes I’ve seen is “dried mucus”.

Here’s a sample thread:

Speaking of snot…