docs: public static Optional<String> getFilePathExtensionAsOpt(Path path) {
  		return JMOptional
  				.getNullableAndFilteredOptional(path, RegularFileFilter)
  				.map(JMPath::getLastName).map(JMString::getExtension)
  				.filter(getIsEmpty().negate());
  	}