TIDY: Add link re: how to make file extensions visible globally