on 9140d7d help sign in
ghcide/src/Development
1 folder
../ IDE/Even more hidings were redundant