Problem: lua-language-server is not available in the dev shell, making it impossible to run local type-checking diagnostics. Solution: add lua-language-server to the devShell packages.