POS_EXTENSION

Filename extension for positions. See chapter: #Positions