instructions file extension