{% if pagename in [ 'hledger', 'hledger-ui', 'hledger-web', 'hledger-api', 'journal', 'csv', 'timeclock', 'timedot' ] %} {# Add rst-badge after rst-versions for small badge style. #}