Do you feel that something like https://secretspec.dev/ addresses these points?