As of now, I am not aware of any devnet faucet other than this Discord channel - https://discord.com/channels/916379725201563759/971488439931392130. Agree that more would be great.