removed dependence on amkhlv/bystroTeX/common in index.scrbl