s</dt><dd>Windows, Mac, Linux</dd></dl>
				</div>
			</li>
		</ol>
	</section>

    <script>
        // add permalink on headings
        document.querySelectorAll('h2').forEach((heading) => {
            const link = document.createElement('a');
            link.className = 'permalink';
            link.href = `#${heading.id}`;
            heading.appendChild(link);
        });
    </script>
</body>
</html>
