Don't know the right allocation, but some things I'd like to see get more funding:

• Fedimint
• contracting proposals/protocols. Find people who want to work on things like https://merkle.fun or validity rollups
• Channel Splicing and Peerswap
• DLC over Lightning projects