Partitioning triangle-free planar graphs into a forest and a linear forest | Synapse