3 ms·Thanks for the tips. I will definitely use them next time I post an arXiv link.by user_235711 13y agoThanks for the tips. I will definitely use them next time I post an arXiv link.