To add a translation note, use it as a filter. For example,
consider
{% Free %}
If we want to say that this means free as in no monetary value,
wrap it around in {{ }} and apply the tl_note filter:
{% {{ "Free" | tl_note: Free as in no monetary value }} %}
The tl_note parameter will be ignored when this Liquid filter is
parsed, but the entirety will be used as the keyed string. Just
make sure that translators don't remove the quotes around "Free".
Key the following pages under "Providers" in navbar:
* cloud-storage
* hosting providers
* pastebin
* search engines
* social networks
* social news aggregators
This updates translate-tag.rb to parse all strings. This means that
we can add items such as {{ site.name }} into the source strings
and the plugin will do the rest. We no longer need hacky a
hacky workaround.
* Translate more of index.html, with translations sourced from
deepl.com
* Relax the plugin to allow capitalization, periods, exclamation
marks, and question marks in the Weblate ID for YAML src.
This helps differentiate between similar but different strings.
Adds in support for https://github.com/signalapp/jekyll-simple-i18n.
The plugin did not work with the github-pages gem, so github-pages was
switched with jekyll (which is what the current i18n branch does anyway).
* about: don't link to Keybase for my keys
I am against listing Keybase as the PGP host, because they are a centralized service and may terminate accounts at any time. Also I cannot link keys to https://mikaela.info/PGP/0xB2F32B67.txt as it excludes existence of SSH and all the other key types (e.g. minisign?).
Of course now I am giving that power to gitea.blesmrt.net, but at least that instance is not for-profit business.
Later I may move the keys onto IPFS to be more sure that they won't be tampered with.
* about: delete Mikaela's Mastodon
https://github.com/Mikaela/mikaela.github.io/issues/173
Before hamburger menu was floated to the right with a fixed margin-top,
which means that it probably wasn't perfectly centered and if we would
change logo image size, we would have to edit that margin manually.
