/* articlepxfontsize: plugin not archived */