 What's the diff between a lint proposal and a lint request?