needed for effective code-navigation via syntax-ppss