splice 2.5.3

Span-safe refactoring kernel for 7 languages with Magellan code graph integration
Documentation