home
/ updates
List of updates
identity
[2024-05-09]
Source code of my website is available
It is a Hugo theme that you may reuse.
[2022-05-22]
PGP master key & user id change
I migrated to the new PGP key and primary e-mail address. Old ones are safe.