various setting tweaks
Fix nrepl height