De Lineriis, Johannes, active 15th century