Earmarking money for specific use is almost always a bad idea because it’s inherently fungible. Whatever it’s marked to get used on simply becomes a lower priority for general use funds, which defeats the entire purpose but adds completely useless accounting frictions.

Idk if your question has an answer though and would also like to know (hopefully it’s just not earmarked).