v0.0.226

• Fix bug where the use of the lean language ID (instead of lean4) would cause the extension to not properly launch a language server for that file (#738)
• Add support for relative paths in lean4.envPathExtensions setting that are resolved relative to the set of workspace folders (#739)
• Reduce likelihood of RPC references clashing with real field names (#719, author: @Vtec234)
• Fix a bug in the LoogleView where entering < would break the input (#735)