Text this: Abstract regular polytopes