Special issue on point-free geometry and topology: An introduction