Text this: An alternative proof of the Aubin-Lions lemma