+++ /dev/null
-# delete all leading blank lines
-# tip: can use /[[:space:]]/,$!d to delete all leading space
-/./,$!d
-
-# take the rename into consideration
-s/publications_bib/bandali-bib/
-
-# delete <font size="-1"> and </font>
-# s|<font size="-1">||
-# s|</font>||
-
-# linkify author names
-s|Amin Bandali|<a href="https://shemshak.org/~bandali/">&</a>|
-s|Nancy A. Day|<a href="https://cs.uwaterloo.ca/~nday/">&</a>|
-s|Simon Hudon|<a href="https://github.com/cipher1024">&</a>|
-s|Jonathan S. Ostroff|<a href="https://www.eecs.yorku.ca/~jonathan/">&</a>|