User blog comment:Alejandro Magno/Extension of Pound-Star Notation/@comment-4297047-20141016205348/@comment-4297047-20141018004554

That was the PREVIOUS version. I'm sure this version's somewhat better. Even that's better than my version at present... I think...