changed data types in operating-system properties; TO-DO: clean broken links in 'topics'