[ghc-steering-committee] Proposals under review

Joachim On our home page https://github.com/ghc-proposals/ghc-proposals there is a list of "proposals under committee review": https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+lab... But alas the latter shows zero proposals -- but I know there are proposals under review. What's up? Simon