Looks like @jackub hasn't received any replies!