https://pypi.org/project/webleank/ Recent updates to the Python Package Index for webleank en https://pypi.org/project/webleank/0.3.1/ Link Lean sidekick web apps to LSP-enabled editors castedo@castedo.com Thu, 09 Apr 2026 10:28:11 GMT https://pypi.org/project/webleank/0.2.1/ Link Lean sidekick web apps to LSP-enabled editors castedo@castedo.com Tue, 31 Mar 2026 20:32:06 GMT https://pypi.org/project/webleank/0.1.1/ Link Lean sidekick web apps to LSP-enabled editors castedo@castedo.com Mon, 30 Mar 2026 01:50:24 GMT