notable figures The folks driving open source and diving. Dirk Hohndel, Linus Torvalds Subsurface dive planner Jef Driesen libdivecomputer