Worth noting that, neat and tidy migration path aside, context receivers are deprecated[1].<p>[1] <a href="https://blog.jetbrains.com/kotlin/2025/04/update-on-context-parameters/" rel="nofollow">https://blog.jetbrains.com/kotlin/2025/04/update-on-context-...</a>