getDefaultExtensions "html5"           = getDefaultExtensions "html"
getDefaultExtensions "html5"           = getDefaultExtensions "html"
getDefaultExtensions "html5"           = getDefaultExtensions "html"