re: #263 albusteve

‘pop’ means different things to different people

To me it’s short for “popular.”