In reference to https://forums.dydx.community/proposal/discussion/2511-drc-dydx-grants-program/, should $6.25m of treasury funds be allocated for the creation of a dYdX Grants Program?