Decision Questions for Probabilistic Automata on Small Alphabets (Logical Methods in Computer Science, 2023)