@samuelgruetter what's your opinion about the current `tail` implementation? If you still don't like it, I can remove it from this PR.