Seeing that the busiest time for PG15 - the last commitfest before the feature freeze - has passed, could someone take another look at this?
The changes that were requested by Heikki and Andres have been merged into patch v3, and I think it would be nice to fix this security issue in the upcoming minor release(s). -Matthias
