brie

What browser are you using? I'm currently just using browser built in styles for the color scheme.

I'm not sure, I've heard it can have trouble with bi-directional sync so I have a single send-only device as an authoritative copy. It does seem to struggle a lot with syncing ~70GB.

Thanks! I highly recommend making your own lists as well; there are many high-quality pieces of open source software that I would have never heard of had it not been recommended.

For QT applications, you can do eg. QT_QPA_PLATFORM=vnc lyx to run it without a window manager, though it seems less stable. There's also Termux-X11 for running X11 without using VNC.

The repo a specific app comes from can also be checked by opening the list of versions, then clicking on one of the versions to show the details.

I don't think it is so much claiming that open source doesn't value time, but the opposite: (switching to) open source isn't free, because it has a time cost that needs to be discussed. Technically the arguments holds for switching between any software, open or otherwise, but when your pitching to someone who already is using proprietary software that works well enough, the cost of staying can be much lower.

"Open source is free if you don't value your time." (forgot who that quote is from)

Sometimes the time investment is small, but especially for complex software, the friction of switching from one imperfect (proprietary) software to another imperfect (open) software makes it not really make much sense unless the issue is severe (house is half destroyed).

Obligatorily: I am not a lawyer, and license law is complicated.

MPL wouldn't be the best choice, since it is per-file. GPL is copyleft and viral, meaning that if you make a modification and distribute the software, you must provide your modified source code under the GPL. AGPL is stricter in terms of when source code must be released; primarily it targets server software where the user interacts with the software, but does not actually download the software itself. The GPL wouldn't require releasing source code, but the AGPL would.

As skullgiver mentioned, if you want to relicense, it would be best to use a CLA. The key to preventing yourself from being able to relicense your project (to a proprietary license or otherwise) is to ensure that other people are licensing their contributions to you under the GPL, without a CLA giving you exceptions, so that you yourself must follow their licensing terms. The Linux kernel for example is locked into the GPLv2, because they used a version of the GPL that does not provide for "upgrading" to newer versions of the GPL, and there are too many people who have contributed to the code to get all together to agree on a relicensing.

Not sure about UI font color, but user style tweaks can change book font colors.

:root {
	color: yellow;
	background-color: navy;
}

Definitely not on a phone, but Android tablets with a keyboard can make decent typing devices.

It works fine in (Android) Firefox, and supports loading from/saving to local files.

I do like text formats, but even when a graphical editor for it exists, they usually don't provide the convenience of being able to edit equations in-place. Usually there's just raw LaTeX editing, or some kind of pop-out editor.