Code Completion for Local Symbols
review Apr/7 - brute force for M2. All identifiers from the source, plus minus what we know for sure. => Partial fix for M2.
moving opened issues from TM <= 6.1 to TM=Dev
restoring original TM, sorry for any inconvenience
Reopenning after jiriprox's action.
The hack is in place --> we show all identifiers now.
This has been implemented and is part of the build.