18:18:58 <rbrunner> I am aware that this PR of mine is not trivial to review. But anyway, if somebody wants to take the jump I am ready to explain further if needed: https://github.com/monero-project/monero/pull/8076
18:19:20 <rbrunner> Ups, that's better suited for #monero-dev ... sorry