Wrong tilde

Author: ocaisa

isc25/EESSI/handson.tex

@@ -13,8 +13,8 @@
 a bit during the coffee break should they want to and ensuring the maximum benefit from the tutorial.
 
 The tutorial is based on previous tutorials archived at
-\url{https://github.com/EESSI/docs/tree/main/talks/20231205-Introduction-to-EESSI-CASTIEL2} (\asciitilde130 live attendees) and
-\url{https://github.com/EESSI/docs/tree/main/talks/20231204-Best-Practices-for-CernVM-FS-in-HPC} (\asciitilde60 live attendees).
+\url{https://github.com/EESSI/docs/tree/main/talks/20231205-Introduction-to-EESSI-CASTIEL2} ($\sim130$ live attendees) and
+\url{https://github.com/EESSI/docs/tree/main/talks/20231204-Best-Practices-for-CernVM-FS-in-HPC} ($\sim60$ live attendees).
 but will be updated with new developments in EESSI and the CernVM-FS infrastructure.
 This tutorial will also be made available on that site, and a tutorial website will be created and referring to the EESSI documentation on
 \url{https://www.eessi.io/docs} (similar to \url{https://tutorial.easybuild.io/}).