Properly respect the setting `idris-metavariable-show-on-load`