Looks like @adrianhuber hasn't received any replies!