IHKPlugin.java868d6abb7 2025 -> 2026 63081666f Source file headers: 2024-> 2025. 3785f8347 Migration stuff in progress... 67805f2fc ThreadLocalUserContext.user -> ThreadLocalUserContext.loggedInUser (renamed for avoiding mis-understandings in code). 4efcbd0fb Migration stuff in progress...