Text this: Intradural lipoma at the craniocervical junction