After looking at it a bit, mjanssen and I decided <...> looks better than *...* for marking the current checkout