teaching: drop remaining .git suffix from hosting info