Commit

9fbb126

could be! That was my initial plan, but I'm not sure there would be many mentions for developers, dunno!

commit 9fbb126