{include file="./menu_trigger.html"} {include file="./version_info.html"} {include file="./badges.html"} {include file="./language_selection.html"} {include file="./bottom_save_bar.html"}