<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title>Developer notes</title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta name="generator" content="pandoc" /> $for(author)$ <meta name="author" content="$author$" /> $endfor$ <meta name="date" content="$date$" /> $for(css)$ <link rel="stylesheet" href="$css$" type="text/css" /> $endfor$ $if(math)$ $math$ $endif$ $for(header-includes)$ $header-includes$ $endfor$ </head> <body> <h1 class="title">Developer notes</h1> $for(include-before)$ $include-before$ $endfor$ $if(toc)$ $toc$ $endif$ $body$ $for(include-after)$ $include-after$ $endfor$ </body> </html>