Be more selective about where Idris tries to make buffers clickable
Merge pull request #179 from david-christiansen/clickable-module-selectivity

Be more selective about where Idris tries to make buffers clickable