Looks like @wupsen hasn't received any replies!