Looks like @tobiforster hasn't received any replies!